Инструкция по IDEF0 \ DOCTOR
Моделирование управления ресурсами

Параметрическое описание ресурсов

• Общие положения

  В разделе "Классификация ресурсов и состояния ресурсов" отмечалась возможность учета параметрических отличий ресурсов в наименовании ресурсов и целесообразность такого подхода при наличии дефицита времени, когда разрабатывается модель небольших размеров. В последнем случае память модельера еще способна находить в разрастающемся классификаторе ресурсов информацию, кроющуюся в лингвистических отличиях наименований ресурсов. В настоящем разделе описывается иной подход, позволяющий при ограниченном росте объема классификатора ресурсов учитывать все возможные тонкие нюансы преобразования ресурсов, осуществляемых БП.

  Параметрическое описание ресурсов осуществляется согласно принятой в системе IDEF0\Doctor концепции пространства состояний. Целью параметрического описания ресурсов является подготовка исходных данных, необходимых для составления спецификаций БП, или более конкретно - необходимых для описания свойств ICOM-интерфейсов БП, в терминах которых выражаются спецификации БП.

  Параметрическое описание ресурсов состоит в задании бинарного отношения на множествах ресурсов и параметров. Множество ресурсов задается модельером с помощью сервиса классификатора ресурсов (см. подробное описание), а множество параметров с  помощью формы "Пространство состояний" (см. подробное описание). Бинарное же отношение на этих множествах задается с помощью формы "Параметры ресурса".

  Форма "Параметры ресурса" (см. Рис.1) инициируется либо кнопкой меню, активированного с помощью правой клавиши мыши ресурса в классификаторе ресурсов, либо кнопкой "Параметры" формы "Правила исполнения БП" (см. подробное описание).

  Форма "Параметры ресурса" содержит два списка параметров выбранного ресурса. Первый из них (верхний) содержит список уникальных параметров ресурса, которыми он отличается от "родительских" ресурсов, а второй (нижний) - список параметров, унаследованных от "родительских" ресурсов.

  Переключатель формы "Все параметры" позволяет отображать в верхнем списке весь список параметров, когда необходимо произвести дополнительный выбор параметров ресурса, или скрывать параметры, не являющиеся параметрами ресурса.

Рис. 1. Форма "Параметры ресурса"

• Правила работы с формой "Параметры ресурса"

  Форма "Параметры ресурса" содержит два списка параметров выбранного ресурса. Первый из них (верхний) содержит список уникальных параметров ресурса, которыми он отличается от "родительских" ресурсов, а второй (нижний) - список параметров, унаследованных от "родительских" ресурсов.

  Переключатель формы "Все параметры" позволяет отображать в верхнем списке весь список параметров, когда необходимо произвести дополнительный выбор параметров ресурса, или скрывать параметры, не являющиеся параметрами ресурса.

  Задание бинарного отношения  между выбранным ресурсом и множеством параметров осуществляется переключателями , содержащимися в верхнем списке параметров.

  При отмене бинарного отношения отменяются аналогичные отношения, соответствующие "дочерним" ресурсам. Отмена бинарного отношения с параметром, унаследованного от "родительского" ресурса невозможна (!).

  Для добавления в список выбора параметров новых параметров используется форма "Пространство состояний" (см. подробное описание). Для активизации формы "Пространство состояний" может быть использована кнопка .